Entailment, Duality, and the Forms of Reasoning
نویسندگان
چکیده
We explore the notion of duality for defeasible entailment relations induced by preference orderings on states. We then show that such preferential entailment relations may be used to characterise Peircean inductive and abductive reasoning. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as the modal logic of inductive and abductive reasoning. §
منابع مشابه
A Proposal for Reasoning in Agents: Restricted Entailment
Johnson-Laird proposes a semantic theory of human reasoning taking into account finite human capacities. We cast this into logical formalism and define a notion of restricted semantic entailment. Corresponding to any set of logical structures, R, there is a restricted entailment with parameter R. The family of restricted entailments, generated as R varies over sets of structures, is shown to be...
متن کاملA Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL
Temporal encoding schemes using RDF and OWL are often plagued by a massive proliferation of useless “container” objects. Reasoning and querying with such representations is extremely complex, expensive, and error-prone. We present a temporal extension of the Hayes and ter Horst entailment rules for RDFS/OWL. The extension is realized by extending RDF triples with further temporal arguments and ...
متن کاملAlgebra Universalis Structural entailment
We give a number of characterizations of structural entailment. In particular, we show that an alter ego M∼ structurally entails an algebraic relation s on a finite algebra M if and only if s can be obtained via a local construct from M∼ . We show, via a range of applications, that, whereas entailment is important in the study of dualisability, structural entailment is important in the study of...
متن کاملA modal perspective on defeasible reasoning
We introduce various new supraclassical entailment relations for defeasible reasoning and investigate some of their relationships. The contrapositive of the usual nonmonotonic preferential entailment turns out to be a monotonic supraclassical entailment. Analogously to these two, a nonmonotonic and its contrapositive monotonic supraclassical entailment can be defined by using modal operators re...
متن کاملProbabilistic Default Reasoning with Strict and Defeasible Conditional Constraints Probabilistic Default Reasoning with Strict and Defeasible Conditional Constraints
We present an approach to reasoning about statistical knowledge and degrees of belief, which is based on a combination of probabilistic reasoning from conditional constraints and default reasoning from conditional knowledge bases. More precisely, we generalize the notions of Pearl's entailment in system , Lehmann's lexicographic entailment, and Geffner's conditional entailment to strict and def...
متن کامل